Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
991	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
992	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
993	BEAMJIT: An LLVM based just-in-time compiler for Erlang Frej Drejhammar 140407 Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Programming language implementation Virtual machines Compiler construction Cross-platform software Compilers PyPy Erlang LLVM SpiderMonkey Software Computing System software
994	Fast Exact Inference with a Factored Model for Natural Language Parsing Dan Klein Department of Computer Science Stanford University Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2003-01-19 19:26:31 Compiler construction Computing Parsing Computational linguistics Stochastic context-free grammar Treebank Chart parser Syntax Context-free grammar Formal languages Software engineering Programming language implementation
995	Microsoft PowerPoint - S2913ck2.ppt Add to Reading List Source URL: www.watsonwalker.com Language: English - Date: 2012-03-07 08:24:43 Programming language implementation MVS REXX Application programming interface Unix Macro Z/OS IBM Basic assembly language Computing Software Assembly language
996	StackAnalyzer for RX StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph a Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Programming language implementation Renesas Electronics Call graph Compiler Stack Compiler construction Software Computing
997	The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Compilers LLVM Clang Virtual machines Compiler Static single assignment form Just-in-time compilation D Software Programming language implementation Compiler construction
998	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2014-11-28 15:51:12 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
999	LL(1) Conflict Resolution in a Recursive Descent Compiler Generator 1 Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 12:10:30 Software Formal languages Compiler construction Coco/R Recursive descent parser LALR parser LL parser Lookahead Compiler-compiler Programming language implementation Parser generators Parsing
1000	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:35:43 Central processing unit Instruction set architectures Assembly languages Programming language implementation Machine code Instruction set Addressing mode Processor register MOV Computer architecture Computing Computer hardware